Computer Science and Engineering - PDFSEARCH.IO - Document Search Engine

Computer Science and Engineering
Results: 6228

#	Item
831	Hipster: Integrating Theory Exploration in a Proof Assistant Moa Johansson, Dan Ros´en, Nicholas Smallbone, and Koen Claessen Department of Computer Science and Engineering, Chalmers University of Technology {jomoa,danr Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2014-05-05 03:54:39 Mathematical proofs Lemmas Five lemma Homological algebra Structural induction Theorem Proof assistant
832	Ergonomics Ergonomics Ergonomics is the science of arranging your workstation to fit the employee. Working at your computer may cause sore muscles, headaches, eyestrain, tension, and fatigue. If you are not comfortable Add to Reading List Source URL: www.mohican.com Language: English - Date: 2015-11-03 14:48:19 Ergonomics Occupational safety and health Labor Human factors and ergonomics Industrial engineering Systems psychology Work station
833	BUILDING AN OPERATING SYSTEM FOR Computer Science Education LANDSCAPE STUDY: What is the current state of high school computer science professional development? Add to Reading List Source URL: d30clwvkkpiyjx.cloudfront.net Language: English - Date: 2013-07-10 09:16:52 Science education Education policy Experiential learning Science and technology Science technology engineering and mathematics National Science Foundation Educational technology Teacher
834	Search Based Software Engineering: Foundations, Challenges and Recent Advances Marouane Kessentini SBSE Research Lab, CIS Department, College of Engineering and Computer Science, Add to Reading List Source URL: wcci2016.org Language: English Software engineering Software quality Program analysis Search-based software engineering Software testing SBSE Mark Harman Code refactoring Computer science
835	ParaTimer: A Progress Indicator for MapReduce DAGs Kristi Morton, Magdalena Balazinska, and Dan Grossman Computer Science and Engineering Department, University of Washington Seattle, Washington, USA Add to Reading List Source URL: event.cwi.nl Language: English - Date: 2010-08-10 12:02:01 Parallel computing Apache Software Foundation Distributed computing architecture Hadoop MapReduce Cloud computing Apache Hadoop Pig Task Query optimization Data-intensive computing Aster Data Systems
836	A Systematic Approach to Usability Practices in Computer Science Curricula Cristian Rusu1, Virginia Rusu1, Silvana Roncagliolo1, and José Miguel Rubio1 1 Pontificia Universidad Católica de Valparaíso, Av. Brasíl No. Add to Reading List Source URL: www.clihc.org Language: English - Date: 2007-09-01 16:32:53 Humancomputer interaction Usability Technical communication Human communication Semiotic engineering Semiotics Pontifical Catholic University of Valparaso Interaction design Human-Computer Interaction Institute Gender HCI
837	Viktor Getmanov Education: Moscow Engineering Physics Institute, 1968. Scientific research interests: Methods of digital processing and analysis of series of geophysical data, digital signal processing for complex system Add to Reading List Source URL: www.gcras.ru Language: English - Date: 2016-02-09 05:07:05 Artificial intelligence Cognitive science Computer science education Informatics Information science Computer science Digital signal processing Signal processing Engineering physics
838	DSST EXAM CONTENT FACT SHEET DSST® COMPUTING AND INFORMATION TECHNOLOGY EXAM INFORMATION This exam was developed to enable schools to award credit to students for knowledge equivalent to that Add to Reading List Source URL: getcollegecredit.com Language: English - Date: 2016-07-06 09:01:13 Cryptography Computer network Telecommunications engineering Database Computing Application software Cloud computing Operating system Personal computer Computer science Computer security Mainframe computer
839	Proving Type Class Laws for Haskell Andreas Arvidsson, Moa Johansson, and Robin Touche Department of Computer Science and Engineering, Chalmers University of Technology , moa.johansson@chalmers. Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2016-07-08 05:39:59 Algebraic structures Semigroup theory Functional programming Type theory Automated theorem proving Monoid Monad Type class Semiring IP Haskell Free monoid
840	Computing Degree and Enrollment Trends From theCRA Taulbee Survey Undergraduate Degree Production in Computer Science Rises While Enrollment Grows for Fourth Straight Year Add to Reading List Source URL: archive2.cra.org Language: English - Date: 2012-04-09 16:20:32 Computing Research Association Graduate Aptitude Test in Engineering

UPDATE